The modular group-ring of a finite $p$-group
نویسندگان
چکیده
منابع مشابه
Finite Group Modular Data
In a remarkable variety of contexts appears the modular data associated to finite groups. And yet, compared to the well-understood affine algebra modular data, the general properties of this finite group modular data has been poorly explored. In this paper we undergo such a study. We identify some senses in which the finite group data is similar to, and different from, the affine data. We also ...
متن کاملThe Automorphism Group of a Finite p-Group is Almost Always a p-Group
Many common finite p-groups admit automorphisms of order coprime to p, and when p is odd, it is reasonably difficult to find finite p-groups whose automorphism group is a p-group. Yet the goal of this paper is to prove that the automorphism group of a finite p-group is almost always a p-group. The asymptotics in our theorem involve fixing any two of the following parameters and letting the thir...
متن کاملA Modular Formalisation of Finite Group Theory
In this paper, we present a formalisation of elementary group theory done in Coq. This work is the first milestone of a long-term effort to formalise Feit-Thompson theorem. As our further developments will heavily rely on this initial base, we took special care to articulate it in the most compositional way. Key-words: finite groups, proof assistants, formalisation of mathematics ∗ Microsoft Re...
متن کاملOn a conjecture of a bound for the exponent of the Schur multiplier of a finite $p$-group
Let $G$ be a $p$-group of nilpotency class $k$ with finite exponent $exp(G)$ and let $m=lfloorlog_pk floor$. We show that $exp(M^{(c)}(G))$ divides $exp(G)p^{m(k-1)}$, for all $cgeq1$, where $M^{(c)}(G)$ denotes the c-nilpotent multiplier of $G$. This implies that $exp( M(G))$ divides $exp(G)$, for all finite $p$-groups of class at most $p-1$. Moreover, we show that our result is an improvement...
متن کاملTHE AUTOMORPHISM GROUP OF FINITE GRAPHS
Let G = (V,E) be a simple graph with exactly n vertices and m edges. The aim of this paper is a new method for investigating nontriviality of the automorphism group of graphs. To do this, we prove that if |E| >=[(n - 1)2/2] then |Aut(G)|>1 and |Aut(G)| is even number.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1978
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1978-0457539-0